when $b$. $p$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$ then $p$ else e fi